congruence of segments

[数] 线段合同